python 批量修改图片大小

一个文件夹下面有好多图片格式是jpg大小是1920*1080，把它们处理成1280*720并按原先图片的名保存在另一路径下这里首先要找到给定路径下所有的图片文件，然后在修改图片文件的大小，这里用到PI ...